$\forall$$n$:$\mathbb{N}$. upto($n$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$ List